Stop optimization after n solutions

but for optimization problems.

I'm trying to improve performance for my problem. I tried modeling the optimization problem instead as a satisfy problem with a constraint specifying a threshold for the value I care about, but the problem is that the threshold would depend on the input data and how it fits with the constraints, and so isn't known ahead of time (think bin packing - you wouldn't be able to know a good enough "fullness" for a bin until you see the objects you're fitting and the constraints of the bin).

I also tried using the solver time out and going with the best solution after x seconds, but the problem there is that solving will then always take x seconds, even if I would have found a good enough solution in milliseconds.

I would appreciate any help or guidance! I read through all the Minizinc CLI options, and I've done a lot of googling, but haven't been able to find an answer. For what it's worth, I'm using chuffed as my solver, and I also tried researching if this is something chuffed supplies an option for.

Thank you!